Typed lambda calculus - PDFSEARCH.IO - Document Search Engine

Typed lambda calculus
Results: 163

#	Item
21	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. System Description: Delphin – A Functional Programming Language for Ded Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-06-03 10:17:56 Type theory Logic in computer science Lambda calculus Dependently typed programming Subroutines Combinatory logic Higher-order abstract syntax Twelf Dependent type Parameter Logical framework Fixed-point combinator
22	Typed Meta-Interpretive Learning for Proof Strategies Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen Muggleton & Alan Bundy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Grammar Linguistics Mathematical logic Syntax FO Finite model theory Argument Lambda calculus Predicate Functional predicate
23	CMSC 336: Type Systems for Programming Languages Lecture 5: Simply Typed Lambda Calculus Acar & Ahmed January 24, 2008 Add to Reading List Source URL: ttic.uchicago.edu Language: English - Date: 2008-01-24 13:16:15
24	The Church-Scott representation of inductive and coinductive data in (typed) λ calculus Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2014-05-15 11:45:56 Computability theory Lambda calculus Recursion Theoretical computer science Type theory Combinatory logic Church encoding Initial algebra Primitive recursive function
25	Noninterference for Free ⇤ William J. Bowman Amal Ahmed Northeastern University, USA Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-08-13 12:55:46 Models of computation Type theory Formal methods Theory of computation Equivalence relation Monad Denotational semantics Parametricity Simply typed lambda calculus Modal logic Lambda calculus
26	CALL FOR PAPERS Tenth International Conference on TYPED LAMBDA CALCULUS AND APPLICATIONS (TLCA1st – 3rd June 2011, Novi Sad, Serbia http://www.rdp2011.uns.ac.rs/tlca/index.html Add to Reading List Source URL: www.rdp2011.uns.ac.rs Language: English - Date: 2010-10-12 08:12:02
27	Inductive and Coinductive Data Types in Typed Lambda Calculus Revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2015-07-02 10:00:20 Type theory Computability theory Functional programming Theoretical computer science Recursion Initial algebra Lambda calculus Primitive recursive function Inductive type Catamorphism F-algebra
28	Gundersen, T., Heijltjes, W. and Parigot, MAtomic lambda-calculus : A typed lambda-calculus with explicit sharing. In: Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE, pp. 31 Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2014-06-28 10:09:38
29	Soundness of embeddings in the λΠ-calculus modulo rewriting Ali Assaf Deducteam, Inria Paris-Rocquencourt École Polytechnique Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-12-18 18:53:18 Logic Logic in computer science Dependently typed programming Lambda calculus Proof theory Curry–Howard correspondence First-order logic Logical framework System F Mathematical logic Theoretical computer science Type theory
30	Abstract syntax for variable binders: An overview Dale Miller Department of Computer Science and Engineering 220 Pond Laboratory, The Pennsylvania State University University Park, PAUSA Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-11-03 10:29:10 Lambda calculus Logic programming Type theory Predicate logic ΛProlog Unification Free variables and bound variables Simply typed lambda calculus Higher-order abstract syntax Logic Mathematics Theoretical computer science

UPDATE